• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۳۷ پاسخ غیر تکراری از ۳۷ پاسخ تکراری در مدت زمان ۰,۸۸ ثانیه یافت شد.

1. Applications of declarative programming and knowledge management

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Salvador Abreu, Dietmar Seipel (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programming, Congresses.,Declarative programming, Congresses.

Classification :

2. Applications of declarative programming and knowledge management

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Dietmar Seipel ... [et al.] (eds.).

Library: Library of College of Science University of Tehran (Tehran)

Subject: Declarative programming--Congresses.,Knowledge management--Congresses.,Logic programming--Congresses.

Classification :
QA76
.
615
.
I57
2004

3. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Dietmar Seipel... ]et al.[ )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming

Classification :
QA
76
.
L28
Vol
.
3392

4. Artificial intelligence applications in chemistry :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Thomas H. Pierce, Bruce A. Hohne, editors.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence, Congresses.,Chemistry-- Data processing, Congresses.,Artificial Intelligence.,Chemistry.,Expert Systems.

Classification :
QD39
.
3
.
E46
A78
1986

5. Automated and algorithmic debugging :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Peter A Fritzson

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.

Classification :

6. Declarative agent languages and technologies

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Joao Leite 7Andrea Omicini Leon Sterling Paolo Torroni (Eds)

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Programming languages (Electronic computer) -- Congresses

Classification :
QA
76
.
7
.
I5775
2003

7. Declarative agent languages and technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Joao Leite... ]et al.[

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Declarative programming

Classification :
QA
76
.
L28
Vol
.
3476

8. Declarative agent languages and technologies IX :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Chiaki Sakama [and others] (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Declarative programming languages -- Congresses.,Informatique.,Intelligent agents (Computer software) -- Congresses.

Classification :
QA76
.
76
.
I58
C453
2012

9. Declarative agent languages and technologies V

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Matteo Baldoni ... [et al.] (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses

Classification :
QA
,
76
.
76
,.
I58
,
D43
,
2007

10. Declarative agent languages and technologies V

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Programming languages (Electronic computers) ; Congresses. ; Declarative programming ; Congresses. ; Intelligent agents (Computer software) ;

Classification :

11. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Joao Leite...]et al.[

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(

Classification :
QA
76
.
L28
Vol
.
2990

12. Declarative programming and knowledge management :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.

Classification :
QA76
.
615

13. Declarative systems

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited by G. David, R. T. Boute, Boute, B. D. Shriver

Library: Central Library and Documents Center of Tehran University (Tehran)

Subject: Electronic data processign - Distributed processing -- Congresses,Parallel Processing (Electronic computers) -- Congresses,Programming languages ( Electronic computer) --Semantics -- Congresses

Classification :
QA
76
.
9
.
D5I343
1988

14. FDPE'05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Declarative programming,Congresses ، Functional programming )Computer science(

Classification :
QA
76
.
62
.
A383
2005

15. Formal techniques for distributed objects, components, and systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jorge A. Pérez, Nobuko Yoshida (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)

Classification :
QA76
.
9
.
D5
.
F67
2019

16. Logic program synthesis and transformation - meta-programming in logic :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Laurent Fribourg, Franco Turini (Eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.

Classification :

17. PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, Wroclaw, Poland, July 14-16, 2007

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: sponsored by: SIGPLAN

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Declarative programming

Classification :
QA
76
.
615
.
P6
2007

18. Practical Aspects of Declarative Languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Enrico Pontelli, Tran Cao Son (eds)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Declarative programming languages -- Congresses.,Declarative programming -- Congresses.,Programming Languages, Compilers, Interpreters.,زبان های برنامه نویسی اعلانی -- کنگره ها,برنامه نویسی اعلانی -- کنگره ها

Classification :
QA
76
.
615
.
P732
2015
E-Book
,

19. Practical aspects of declarative languages :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Pascal Van Hentenryck (ed.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Programming languages (Electronic computers)-- Semantics, Congresses

Classification :
QA76
.
7
.
P32
2006

20. Practical aspects of declarative languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Andy Gill, Terrance Swift (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

Classification :
QA76
.
615
.
P33
2009eb
  • »
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival